class Main {
    void m(A a) {
        a.myJvmName("param");
    }
}